Enseñando agradablemente: Wally Jay compartiendo los principios marciales

Wally Axiomatics of Branching Continuations

We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented.

Jay Johnson

It is seldom possible to plausibly define and observe a pool of potential entrants to a market. This study overcomes that limitation by taking advantage of an opportunity to reasonably define the potential entrants into MTBE production, a rapidly growing environmental product from the mid-1980’s to mid-1990’s. Potential entrants are identified as those firms having access to specific assets tha...

Principios Básicos de Usabilidad para Ingenieros Software

La usabilidad es un tema que está cobrando una importancia cada vez mayor en el desarrollo de software. A pesar de ello, la Ingeniería del Software sigue centrándose casi exclusivamente en atributos del software más relacionados con el interior del sistema, como el rendimiento o la fiabilidad. En el entorno actual, en el que los sistemas software están dirigidos a un público cada vez más amplio...

Jay Cummings: Research Statement

My research has touched many areas of combinatorics, including enumerative, algebraic, spectral, extremal and probabilistic. The projects below include finding the stationary distribution of a random coloring procedure, pursuing new directions in the math of juggling, working with undergraduates on Ramsey theory, and studying a pair of topics from spectral graph theory. I have mentored undergra...

Laugh Track Jay